Software Considerations for Automotive Pervasive Systems
نویسندگان
چکیده
The pervasive computing systems inside modernday automobiles are made up of hundreds of interconnected, often replaceable components. These components are put together in a way specified by the customer during manufacturing, and can then be modified over the lifetime of the automobile, as part of maintenance or upgrading. This flexibility means that system implementers cannot know in advance which of a wide variety of configurations they are programming for, and so the software system must be designed in a way that is agnostic of implementation details.
منابع مشابه
TrueTime: Simulation tool for performance analysis of real-time embedded systems
Embedded systems and networked embedded systems play an increasingly important role in today’s society. They are often found in consumer products, e.g., in automotive systems and cellular phones, and are therefore subject to hard economic constraints. The pervasive nature of these systems generates further constraints on physical size and power consumption. These product-level constraints give ...
متن کاملFirst International DisCoTec Workshop on Context - aware Adaptation Mechanisms for Pervasive and Ubiquitous Services ( CAMPUS 2008 ) Feature Interaction in Pervasive Computing Systems
Feature interaction describes a situation where the combination of two or more services that individually perform correctly results in unexpected and possibly adverse behaviour. Such feature interaction issues have first been identified in telecommunication systems and are now beginning to be considered in other distributed software systems. We expect significant feature interaction research in...
متن کاملProceedings of the First International DisCoTec Workshop on Context - aware Adaptation Mechanisms for Pervasive and Ubiquitous Services ( CAMPUS 2008 ) Feature Interaction in Pervasive Computing Systems
Feature interaction describes a situation where the combination of two or more services that individually perform correctly results in unexpected and possibly adverse behaviour. Such feature interaction issues have first been identified in telecommunication systems and are now beginning to be considered in other distributed software systems. We expect significant feature interaction research in...
متن کاملMBD fOR EMBEDDED-SOfTwARE SySTEMS
(MBD) technologies in various vertical domains, with aerospace, transportation, medical, and the consumer electronics industries being the main drivers. Although well supported by commercial tools, MBD is relatively new to embedded-software-engineering practitioners. In particular, we have recognized from our experience with leading embedded-automotive-software suppliers that applying MBD in em...
متن کاملModeling and Verifying Intelligent Automotive Cyber-Physical Systems∗
Exhaustive state space exploration based verification of cyber-physical system designs remains a challenge despite five decades of active research into formal verification. On the other hand, models of intelligent automotive cyber-physical systems continue to grow in complexity. The testing of intelligent automotive models often uses human subjects, is expensive, and can not be performed unless...
متن کامل